package edu.asu.sapa.ground.update;

import edu.asu.sapa.ground.State;

public abstract class Constraint extends Update {
	public abstract boolean holdsBefore(State s, Context c);
	public abstract boolean holdsAt(State s, Context c);
}
